Section: Software and Platforms

TimeSquare

Participants : Charles André, Nicolas Chleq, Julien Deantoni, Frédéric Mallet [correspondant] .

TimeSquare is a software environment for the modeling and analysis of timing constraints in embedded systems. It relies specifically on the Time Model of the Marte UML profile (see section 3.2 ), and more accurately on the associated Clock Constraint Specification Language (CCSL) for the expression of timing constraints.

TimeSquare offers four main functionalities:

1. graphical and/or textual interactive specification of logical clocks and relative constraints between them;

2. definition and handling of user-defined clock constraint libraries;

3. automated simulation of concurrent behavior traces respecting such constraints, using a Boolean solver for consistent trace extraction;

4. call-back mechanisms for the traceability of results (animation of models, display and interaction with waveform representations, generation of sequence diagrams...).

In practice TimeSquare is a plug-in developed with Eclipse modeling tools. The software is registered by the Agence pour la Protection des Programmes, under number IDDN.FR.001.170007.000.S.P.2009.001.10600. It can be downloaded from the site http://timesquare.inria.fr/ . It has been integrated in the OpenEmbeDD ANR RNTL platform, and other such actions are under way.